home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / share / app-install / desktop / coqide.desktop < prev    next >
Encoding:
KDE config file  |  2009-07-06  |  336 b   |  15 lines
  1. [Desktop Entry]
  2. X-AppInstall-Package=coqide
  3. X-AppInstall-Popcon=34
  4. X-AppInstall-Section=universe
  5.  
  6. Encoding=UTF-8
  7. Name=CoqIDE Proof Assistant
  8. Comment=Graphical interface for the Coq proof assistant
  9. Exec=coqide
  10. Type=Application
  11. Categories=Development;Science;Math;IDE;GTK;
  12. Terminal=false
  13. Icon=coq
  14. X-Ubuntu-Gettext-Domain=app-install-data
  15.